An arithmetical view to first-order logic
نویسندگان
چکیده
منابع مشابه
An arithmetical view to first-order logic
A value space is a topological algebra B equipped with a non-empty family of continuous quantifiers : B → B. We will describe first-order logic on the basis of B. Operations of B are used as connectives and its relations are used to define statements. We prove under some normality conditions on the value space that any theory in the new setting can be represented by a classical first-order theo...
متن کاملFrom Separation Logic to First-Order Logic
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model property. We exploit this property to give an encoding of this fragment into a first-order logic containing only the propositional connectives, quantification over the natural numbers and equality. This result is the first...
متن کاملA Unified View of Induction Reasoning for First-Order Logic
Induction is a powerful proof technique adapted to reason on sets with an unbounded number of elements. In a first-order setting, two different methods are distinguished: the conventional induction, based on explicit induction schemas, and the implicit induction, based on reductive procedures. We propose a new cycle-based induction method that keeps their best features, i.e., performs local and...
متن کاملAn Adequate First Order Interval Logic
The paper uses left and right neighbourhoods as primitive interval modalities to deene other unary and binary modalities of intervals in a rst order logic with interval length. A complete rst order logic for the neighbourhood modalities is presented. The paper demonstrates how the logic can support formal speciication and veri-cation of liveness and fairness, and also of various notions of real...
متن کاملBeyond First Order Logic: From number of structures to structure of numbers: Part I
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This first part introduces the main conceps and philosophies anddiscu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2010
ISSN: 0168-0072
DOI: 10.1016/j.apal.2009.06.006